3.420 \(\int \frac{\left (a+b x^2\right )^2}{x^{3/2} \left (c+d x^2\right )} \, dx\)

Optimal. Leaf size=260 \[ -\frac{2 a^2}{c \sqrt{x}}-\frac{(b c-a d)^2 \log \left (-\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x}+\sqrt{c}+\sqrt{d} x\right )}{2 \sqrt{2} c^{5/4} d^{7/4}}+\frac{(b c-a d)^2 \log \left (\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x}+\sqrt{c}+\sqrt{d} x\right )}{2 \sqrt{2} c^{5/4} d^{7/4}}+\frac{(b c-a d)^2 \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}}\right )}{\sqrt{2} c^{5/4} d^{7/4}}-\frac{(b c-a d)^2 \tan ^{-1}\left (\frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}}+1\right )}{\sqrt{2} c^{5/4} d^{7/4}}+\frac{2 b^2 x^{3/2}}{3 d} \]

[Out]

(-2*a^2)/(c*Sqrt[x]) + (2*b^2*x^(3/2))/(3*d) + ((b*c - a*d)^2*ArcTan[1 - (Sqrt[2
]*d^(1/4)*Sqrt[x])/c^(1/4)])/(Sqrt[2]*c^(5/4)*d^(7/4)) - ((b*c - a*d)^2*ArcTan[1
 + (Sqrt[2]*d^(1/4)*Sqrt[x])/c^(1/4)])/(Sqrt[2]*c^(5/4)*d^(7/4)) - ((b*c - a*d)^
2*Log[Sqrt[c] - Sqrt[2]*c^(1/4)*d^(1/4)*Sqrt[x] + Sqrt[d]*x])/(2*Sqrt[2]*c^(5/4)
*d^(7/4)) + ((b*c - a*d)^2*Log[Sqrt[c] + Sqrt[2]*c^(1/4)*d^(1/4)*Sqrt[x] + Sqrt[
d]*x])/(2*Sqrt[2]*c^(5/4)*d^(7/4))

_______________________________________________________________________________________

Rubi [A]  time = 0.559327, antiderivative size = 260, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 9, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.375 \[ -\frac{2 a^2}{c \sqrt{x}}-\frac{(b c-a d)^2 \log \left (-\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x}+\sqrt{c}+\sqrt{d} x\right )}{2 \sqrt{2} c^{5/4} d^{7/4}}+\frac{(b c-a d)^2 \log \left (\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x}+\sqrt{c}+\sqrt{d} x\right )}{2 \sqrt{2} c^{5/4} d^{7/4}}+\frac{(b c-a d)^2 \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}}\right )}{\sqrt{2} c^{5/4} d^{7/4}}-\frac{(b c-a d)^2 \tan ^{-1}\left (\frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}}+1\right )}{\sqrt{2} c^{5/4} d^{7/4}}+\frac{2 b^2 x^{3/2}}{3 d} \]

Antiderivative was successfully verified.

[In]  Int[(a + b*x^2)^2/(x^(3/2)*(c + d*x^2)),x]

[Out]

(-2*a^2)/(c*Sqrt[x]) + (2*b^2*x^(3/2))/(3*d) + ((b*c - a*d)^2*ArcTan[1 - (Sqrt[2
]*d^(1/4)*Sqrt[x])/c^(1/4)])/(Sqrt[2]*c^(5/4)*d^(7/4)) - ((b*c - a*d)^2*ArcTan[1
 + (Sqrt[2]*d^(1/4)*Sqrt[x])/c^(1/4)])/(Sqrt[2]*c^(5/4)*d^(7/4)) - ((b*c - a*d)^
2*Log[Sqrt[c] - Sqrt[2]*c^(1/4)*d^(1/4)*Sqrt[x] + Sqrt[d]*x])/(2*Sqrt[2]*c^(5/4)
*d^(7/4)) + ((b*c - a*d)^2*Log[Sqrt[c] + Sqrt[2]*c^(1/4)*d^(1/4)*Sqrt[x] + Sqrt[
d]*x])/(2*Sqrt[2]*c^(5/4)*d^(7/4))

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 100.607, size = 241, normalized size = 0.93 \[ - \frac{2 a^{2}}{c \sqrt{x}} + \frac{2 b^{2} x^{\frac{3}{2}}}{3 d} - \frac{\sqrt{2} \left (a d - b c\right )^{2} \log{\left (- \sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x} + \sqrt{c} + \sqrt{d} x \right )}}{4 c^{\frac{5}{4}} d^{\frac{7}{4}}} + \frac{\sqrt{2} \left (a d - b c\right )^{2} \log{\left (\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x} + \sqrt{c} + \sqrt{d} x \right )}}{4 c^{\frac{5}{4}} d^{\frac{7}{4}}} + \frac{\sqrt{2} \left (a d - b c\right )^{2} \operatorname{atan}{\left (1 - \frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}} \right )}}{2 c^{\frac{5}{4}} d^{\frac{7}{4}}} - \frac{\sqrt{2} \left (a d - b c\right )^{2} \operatorname{atan}{\left (1 + \frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}} \right )}}{2 c^{\frac{5}{4}} d^{\frac{7}{4}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((b*x**2+a)**2/x**(3/2)/(d*x**2+c),x)

[Out]

-2*a**2/(c*sqrt(x)) + 2*b**2*x**(3/2)/(3*d) - sqrt(2)*(a*d - b*c)**2*log(-sqrt(2
)*c**(1/4)*d**(1/4)*sqrt(x) + sqrt(c) + sqrt(d)*x)/(4*c**(5/4)*d**(7/4)) + sqrt(
2)*(a*d - b*c)**2*log(sqrt(2)*c**(1/4)*d**(1/4)*sqrt(x) + sqrt(c) + sqrt(d)*x)/(
4*c**(5/4)*d**(7/4)) + sqrt(2)*(a*d - b*c)**2*atan(1 - sqrt(2)*d**(1/4)*sqrt(x)/
c**(1/4))/(2*c**(5/4)*d**(7/4)) - sqrt(2)*(a*d - b*c)**2*atan(1 + sqrt(2)*d**(1/
4)*sqrt(x)/c**(1/4))/(2*c**(5/4)*d**(7/4))

_______________________________________________________________________________________

Mathematica [A]  time = 0.19949, size = 261, normalized size = 1. \[ \frac{-24 a^2 \sqrt [4]{c} d^{7/4}-3 \sqrt{2} \sqrt{x} (b c-a d)^2 \log \left (-\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x}+\sqrt{c}+\sqrt{d} x\right )+3 \sqrt{2} \sqrt{x} (b c-a d)^2 \log \left (\sqrt{2} \sqrt [4]{c} \sqrt [4]{d} \sqrt{x}+\sqrt{c}+\sqrt{d} x\right )+6 \sqrt{2} \sqrt{x} (b c-a d)^2 \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}}\right )-6 \sqrt{2} \sqrt{x} (b c-a d)^2 \tan ^{-1}\left (\frac{\sqrt{2} \sqrt [4]{d} \sqrt{x}}{\sqrt [4]{c}}+1\right )+8 b^2 c^{5/4} d^{3/4} x^2}{12 c^{5/4} d^{7/4} \sqrt{x}} \]

Antiderivative was successfully verified.

[In]  Integrate[(a + b*x^2)^2/(x^(3/2)*(c + d*x^2)),x]

[Out]

(-24*a^2*c^(1/4)*d^(7/4) + 8*b^2*c^(5/4)*d^(3/4)*x^2 + 6*Sqrt[2]*(b*c - a*d)^2*S
qrt[x]*ArcTan[1 - (Sqrt[2]*d^(1/4)*Sqrt[x])/c^(1/4)] - 6*Sqrt[2]*(b*c - a*d)^2*S
qrt[x]*ArcTan[1 + (Sqrt[2]*d^(1/4)*Sqrt[x])/c^(1/4)] - 3*Sqrt[2]*(b*c - a*d)^2*S
qrt[x]*Log[Sqrt[c] - Sqrt[2]*c^(1/4)*d^(1/4)*Sqrt[x] + Sqrt[d]*x] + 3*Sqrt[2]*(b
*c - a*d)^2*Sqrt[x]*Log[Sqrt[c] + Sqrt[2]*c^(1/4)*d^(1/4)*Sqrt[x] + Sqrt[d]*x])/
(12*c^(5/4)*d^(7/4)*Sqrt[x])

_______________________________________________________________________________________

Maple [B]  time = 0.017, size = 439, normalized size = 1.7 \[{\frac{2\,{b}^{2}}{3\,d}{x}^{{\frac{3}{2}}}}-{\frac{\sqrt{2}{a}^{2}}{2\,c}\arctan \left ({\sqrt{2}\sqrt{x}{\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}+1 \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}+{\frac{\sqrt{2}ab}{d}\arctan \left ({\sqrt{2}\sqrt{x}{\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}+1 \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-{\frac{c\sqrt{2}{b}^{2}}{2\,{d}^{2}}\arctan \left ({\sqrt{2}\sqrt{x}{\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}+1 \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-{\frac{\sqrt{2}{a}^{2}}{2\,c}\arctan \left ({\sqrt{2}\sqrt{x}{\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-1 \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}+{\frac{\sqrt{2}ab}{d}\arctan \left ({\sqrt{2}\sqrt{x}{\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-1 \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-{\frac{c\sqrt{2}{b}^{2}}{2\,{d}^{2}}\arctan \left ({\sqrt{2}\sqrt{x}{\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-1 \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-{\frac{\sqrt{2}{a}^{2}}{4\,c}\ln \left ({1 \left ( x-\sqrt [4]{{\frac{c}{d}}}\sqrt{x}\sqrt{2}+\sqrt{{\frac{c}{d}}} \right ) \left ( x+\sqrt [4]{{\frac{c}{d}}}\sqrt{x}\sqrt{2}+\sqrt{{\frac{c}{d}}} \right ) ^{-1}} \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}+{\frac{\sqrt{2}ab}{2\,d}\ln \left ({1 \left ( x-\sqrt [4]{{\frac{c}{d}}}\sqrt{x}\sqrt{2}+\sqrt{{\frac{c}{d}}} \right ) \left ( x+\sqrt [4]{{\frac{c}{d}}}\sqrt{x}\sqrt{2}+\sqrt{{\frac{c}{d}}} \right ) ^{-1}} \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-{\frac{c\sqrt{2}{b}^{2}}{4\,{d}^{2}}\ln \left ({1 \left ( x-\sqrt [4]{{\frac{c}{d}}}\sqrt{x}\sqrt{2}+\sqrt{{\frac{c}{d}}} \right ) \left ( x+\sqrt [4]{{\frac{c}{d}}}\sqrt{x}\sqrt{2}+\sqrt{{\frac{c}{d}}} \right ) ^{-1}} \right ){\frac{1}{\sqrt [4]{{\frac{c}{d}}}}}}-2\,{\frac{{a}^{2}}{c\sqrt{x}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((b*x^2+a)^2/x^(3/2)/(d*x^2+c),x)

[Out]

2/3*b^2*x^(3/2)/d-1/2/c/(c/d)^(1/4)*2^(1/2)*arctan(2^(1/2)/(c/d)^(1/4)*x^(1/2)+1
)*a^2+1/d/(c/d)^(1/4)*2^(1/2)*arctan(2^(1/2)/(c/d)^(1/4)*x^(1/2)+1)*a*b-1/2*c/d^
2/(c/d)^(1/4)*2^(1/2)*arctan(2^(1/2)/(c/d)^(1/4)*x^(1/2)+1)*b^2-1/2/c/(c/d)^(1/4
)*2^(1/2)*arctan(2^(1/2)/(c/d)^(1/4)*x^(1/2)-1)*a^2+1/d/(c/d)^(1/4)*2^(1/2)*arct
an(2^(1/2)/(c/d)^(1/4)*x^(1/2)-1)*a*b-1/2*c/d^2/(c/d)^(1/4)*2^(1/2)*arctan(2^(1/
2)/(c/d)^(1/4)*x^(1/2)-1)*b^2-1/4/c/(c/d)^(1/4)*2^(1/2)*ln((x-(c/d)^(1/4)*x^(1/2
)*2^(1/2)+(c/d)^(1/2))/(x+(c/d)^(1/4)*x^(1/2)*2^(1/2)+(c/d)^(1/2)))*a^2+1/2/d/(c
/d)^(1/4)*2^(1/2)*ln((x-(c/d)^(1/4)*x^(1/2)*2^(1/2)+(c/d)^(1/2))/(x+(c/d)^(1/4)*
x^(1/2)*2^(1/2)+(c/d)^(1/2)))*a*b-1/4*c/d^2/(c/d)^(1/4)*2^(1/2)*ln((x-(c/d)^(1/4
)*x^(1/2)*2^(1/2)+(c/d)^(1/2))/(x+(c/d)^(1/4)*x^(1/2)*2^(1/2)+(c/d)^(1/2)))*b^2-
2*a^2/c/x^(1/2)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^2 + a)^2/((d*x^2 + c)*x^(3/2)),x, algorithm="maxima")

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

Fricas [A]  time = 0.253485, size = 1902, normalized size = 7.32 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^2 + a)^2/((d*x^2 + c)*x^(3/2)),x, algorithm="fricas")

[Out]

1/6*(4*b^2*c*x^2 - 12*c*d*sqrt(x)*(-(b^8*c^8 - 8*a*b^7*c^7*d + 28*a^2*b^6*c^6*d^
2 - 56*a^3*b^5*c^5*d^3 + 70*a^4*b^4*c^4*d^4 - 56*a^5*b^3*c^3*d^5 + 28*a^6*b^2*c^
2*d^6 - 8*a^7*b*c*d^7 + a^8*d^8)/(c^5*d^7))^(1/4)*arctan(c^4*d^5*(-(b^8*c^8 - 8*
a*b^7*c^7*d + 28*a^2*b^6*c^6*d^2 - 56*a^3*b^5*c^5*d^3 + 70*a^4*b^4*c^4*d^4 - 56*
a^5*b^3*c^3*d^5 + 28*a^6*b^2*c^2*d^6 - 8*a^7*b*c*d^7 + a^8*d^8)/(c^5*d^7))^(3/4)
/((b^6*c^6 - 6*a*b^5*c^5*d + 15*a^2*b^4*c^4*d^2 - 20*a^3*b^3*c^3*d^3 + 15*a^4*b^
2*c^2*d^4 - 6*a^5*b*c*d^5 + a^6*d^6)*sqrt(x) + sqrt((b^12*c^12 - 12*a*b^11*c^11*
d + 66*a^2*b^10*c^10*d^2 - 220*a^3*b^9*c^9*d^3 + 495*a^4*b^8*c^8*d^4 - 792*a^5*b
^7*c^7*d^5 + 924*a^6*b^6*c^6*d^6 - 792*a^7*b^5*c^5*d^7 + 495*a^8*b^4*c^4*d^8 - 2
20*a^9*b^3*c^3*d^9 + 66*a^10*b^2*c^2*d^10 - 12*a^11*b*c*d^11 + a^12*d^12)*x - (b
^8*c^11*d^3 - 8*a*b^7*c^10*d^4 + 28*a^2*b^6*c^9*d^5 - 56*a^3*b^5*c^8*d^6 + 70*a^
4*b^4*c^7*d^7 - 56*a^5*b^3*c^6*d^8 + 28*a^6*b^2*c^5*d^9 - 8*a^7*b*c^4*d^10 + a^8
*c^3*d^11)*sqrt(-(b^8*c^8 - 8*a*b^7*c^7*d + 28*a^2*b^6*c^6*d^2 - 56*a^3*b^5*c^5*
d^3 + 70*a^4*b^4*c^4*d^4 - 56*a^5*b^3*c^3*d^5 + 28*a^6*b^2*c^2*d^6 - 8*a^7*b*c*d
^7 + a^8*d^8)/(c^5*d^7))))) - 3*c*d*sqrt(x)*(-(b^8*c^8 - 8*a*b^7*c^7*d + 28*a^2*
b^6*c^6*d^2 - 56*a^3*b^5*c^5*d^3 + 70*a^4*b^4*c^4*d^4 - 56*a^5*b^3*c^3*d^5 + 28*
a^6*b^2*c^2*d^6 - 8*a^7*b*c*d^7 + a^8*d^8)/(c^5*d^7))^(1/4)*log(c^4*d^5*(-(b^8*c
^8 - 8*a*b^7*c^7*d + 28*a^2*b^6*c^6*d^2 - 56*a^3*b^5*c^5*d^3 + 70*a^4*b^4*c^4*d^
4 - 56*a^5*b^3*c^3*d^5 + 28*a^6*b^2*c^2*d^6 - 8*a^7*b*c*d^7 + a^8*d^8)/(c^5*d^7)
)^(3/4) + (b^6*c^6 - 6*a*b^5*c^5*d + 15*a^2*b^4*c^4*d^2 - 20*a^3*b^3*c^3*d^3 + 1
5*a^4*b^2*c^2*d^4 - 6*a^5*b*c*d^5 + a^6*d^6)*sqrt(x)) + 3*c*d*sqrt(x)*(-(b^8*c^8
 - 8*a*b^7*c^7*d + 28*a^2*b^6*c^6*d^2 - 56*a^3*b^5*c^5*d^3 + 70*a^4*b^4*c^4*d^4
- 56*a^5*b^3*c^3*d^5 + 28*a^6*b^2*c^2*d^6 - 8*a^7*b*c*d^7 + a^8*d^8)/(c^5*d^7))^
(1/4)*log(-c^4*d^5*(-(b^8*c^8 - 8*a*b^7*c^7*d + 28*a^2*b^6*c^6*d^2 - 56*a^3*b^5*
c^5*d^3 + 70*a^4*b^4*c^4*d^4 - 56*a^5*b^3*c^3*d^5 + 28*a^6*b^2*c^2*d^6 - 8*a^7*b
*c*d^7 + a^8*d^8)/(c^5*d^7))^(3/4) + (b^6*c^6 - 6*a*b^5*c^5*d + 15*a^2*b^4*c^4*d
^2 - 20*a^3*b^3*c^3*d^3 + 15*a^4*b^2*c^2*d^4 - 6*a^5*b*c*d^5 + a^6*d^6)*sqrt(x))
 - 12*a^2*d)/(c*d*sqrt(x))

_______________________________________________________________________________________

Sympy [A]  time = 129.418, size = 597, normalized size = 2.3 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x**2+a)**2/x**(3/2)/(d*x**2+c),x)

[Out]

Piecewise((zoo*(-2*a**2/(5*x**(5/2)) - 4*a*b/sqrt(x) + 2*b**2*x**(3/2)/3), Eq(c,
 0) & Eq(d, 0)), ((-2*a**2/(5*x**(5/2)) - 4*a*b/sqrt(x) + 2*b**2*x**(3/2)/3)/d,
Eq(c, 0)), ((-2*a**2/sqrt(x) + 4*a*b*x**(3/2)/3 + 2*b**2*x**(7/2)/7)/c, Eq(d, 0)
), (-2*a**2/(c*sqrt(x)) + (-1)**(3/4)*a**2*log(-(-1)**(1/4)*c**(1/4)*(1/d)**(1/4
) + sqrt(x))/(2*c**(5/4)*d**13*(1/d)**(53/4)) - (-1)**(3/4)*a**2*log((-1)**(1/4)
*c**(1/4)*(1/d)**(1/4) + sqrt(x))/(2*c**(5/4)*d**13*(1/d)**(53/4)) - (-1)**(3/4)
*a**2*atan((-1)**(3/4)*sqrt(x)/(c**(1/4)*(1/d)**(1/4)))/(c**(5/4)*d**13*(1/d)**(
53/4)) - (-1)**(3/4)*a*b*log(-(-1)**(1/4)*c**(1/4)*(1/d)**(1/4) + sqrt(x))/(c**(
1/4)*d**14*(1/d)**(53/4)) + (-1)**(3/4)*a*b*log((-1)**(1/4)*c**(1/4)*(1/d)**(1/4
) + sqrt(x))/(c**(1/4)*d**14*(1/d)**(53/4)) + 2*(-1)**(3/4)*a*b*atan((-1)**(3/4)
*sqrt(x)/(c**(1/4)*(1/d)**(1/4)))/(c**(1/4)*d**14*(1/d)**(53/4)) + (-1)**(3/4)*b
**2*c**(3/4)*log(-(-1)**(1/4)*c**(1/4)*(1/d)**(1/4) + sqrt(x))/(2*d**15*(1/d)**(
53/4)) - (-1)**(3/4)*b**2*c**(3/4)*log((-1)**(1/4)*c**(1/4)*(1/d)**(1/4) + sqrt(
x))/(2*d**15*(1/d)**(53/4)) - (-1)**(3/4)*b**2*c**(3/4)*atan((-1)**(3/4)*sqrt(x)
/(c**(1/4)*(1/d)**(1/4)))/(d**15*(1/d)**(53/4)) + 2*b**2*x**(3/2)/(3*d), True))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.252086, size = 464, normalized size = 1.78 \[ \frac{2 \, b^{2} x^{\frac{3}{2}}}{3 \, d} - \frac{2 \, a^{2}}{c \sqrt{x}} - \frac{\sqrt{2}{\left (\left (c d^{3}\right )^{\frac{3}{4}} b^{2} c^{2} - 2 \, \left (c d^{3}\right )^{\frac{3}{4}} a b c d + \left (c d^{3}\right )^{\frac{3}{4}} a^{2} d^{2}\right )} \arctan \left (\frac{\sqrt{2}{\left (\sqrt{2} \left (\frac{c}{d}\right )^{\frac{1}{4}} + 2 \, \sqrt{x}\right )}}{2 \, \left (\frac{c}{d}\right )^{\frac{1}{4}}}\right )}{2 \, c^{2} d^{4}} - \frac{\sqrt{2}{\left (\left (c d^{3}\right )^{\frac{3}{4}} b^{2} c^{2} - 2 \, \left (c d^{3}\right )^{\frac{3}{4}} a b c d + \left (c d^{3}\right )^{\frac{3}{4}} a^{2} d^{2}\right )} \arctan \left (-\frac{\sqrt{2}{\left (\sqrt{2} \left (\frac{c}{d}\right )^{\frac{1}{4}} - 2 \, \sqrt{x}\right )}}{2 \, \left (\frac{c}{d}\right )^{\frac{1}{4}}}\right )}{2 \, c^{2} d^{4}} + \frac{\sqrt{2}{\left (\left (c d^{3}\right )^{\frac{3}{4}} b^{2} c^{2} - 2 \, \left (c d^{3}\right )^{\frac{3}{4}} a b c d + \left (c d^{3}\right )^{\frac{3}{4}} a^{2} d^{2}\right )}{\rm ln}\left (\sqrt{2} \sqrt{x} \left (\frac{c}{d}\right )^{\frac{1}{4}} + x + \sqrt{\frac{c}{d}}\right )}{4 \, c^{2} d^{4}} - \frac{\sqrt{2}{\left (\left (c d^{3}\right )^{\frac{3}{4}} b^{2} c^{2} - 2 \, \left (c d^{3}\right )^{\frac{3}{4}} a b c d + \left (c d^{3}\right )^{\frac{3}{4}} a^{2} d^{2}\right )}{\rm ln}\left (-\sqrt{2} \sqrt{x} \left (\frac{c}{d}\right )^{\frac{1}{4}} + x + \sqrt{\frac{c}{d}}\right )}{4 \, c^{2} d^{4}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^2 + a)^2/((d*x^2 + c)*x^(3/2)),x, algorithm="giac")

[Out]

2/3*b^2*x^(3/2)/d - 2*a^2/(c*sqrt(x)) - 1/2*sqrt(2)*((c*d^3)^(3/4)*b^2*c^2 - 2*(
c*d^3)^(3/4)*a*b*c*d + (c*d^3)^(3/4)*a^2*d^2)*arctan(1/2*sqrt(2)*(sqrt(2)*(c/d)^
(1/4) + 2*sqrt(x))/(c/d)^(1/4))/(c^2*d^4) - 1/2*sqrt(2)*((c*d^3)^(3/4)*b^2*c^2 -
 2*(c*d^3)^(3/4)*a*b*c*d + (c*d^3)^(3/4)*a^2*d^2)*arctan(-1/2*sqrt(2)*(sqrt(2)*(
c/d)^(1/4) - 2*sqrt(x))/(c/d)^(1/4))/(c^2*d^4) + 1/4*sqrt(2)*((c*d^3)^(3/4)*b^2*
c^2 - 2*(c*d^3)^(3/4)*a*b*c*d + (c*d^3)^(3/4)*a^2*d^2)*ln(sqrt(2)*sqrt(x)*(c/d)^
(1/4) + x + sqrt(c/d))/(c^2*d^4) - 1/4*sqrt(2)*((c*d^3)^(3/4)*b^2*c^2 - 2*(c*d^3
)^(3/4)*a*b*c*d + (c*d^3)^(3/4)*a^2*d^2)*ln(-sqrt(2)*sqrt(x)*(c/d)^(1/4) + x + s
qrt(c/d))/(c^2*d^4)